TSTP Solution File: NUM664^1 by SRASS---0.1